Double-precision floating-point format - PDFSEARCH.IO - Document Search Engine

Double-precision floating-point format
Results: 81

#	Item
11	Computing with Floating Point It’s not Dark Magic, it’s Science Florent de Dinechin, Ar´enaire Project, ENS-Lyon CERN seminar, January 11, Add to Reading List Source URL: lipforge.ens-lyon.fr Language: English - Date: 2005-03-18 10:04:41 Computer arithmetic Computing Mathematics Theoretical computer science Floating point IEEE floating point Double-precision floating-point format Precision Rounding NaN William Kahan 0.999...
12	Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Rounding GNU MPFR IEEE floating point Floating point Double-precision floating-point format Signed zero Significant figures C99 GNU Multiple Precision Arithmetic Library Multiplyaccumulate operation Single-precision floating-point format
13	Toward hardware support for Reproducible BLAS http://bebop.cs.berkeley.edu/reproblas/ James Demmel, Hong Diep Nguyen SCANWurzburg, Germany Add to Reading List Source URL: bebop.cs.berkeley.edu Language: English - Date: 2015-06-15 14:01:58 Computer arithmetic Floating point Rounding Summation Round-off error Double-precision floating-point format Addition IEEE floating point
14	SIPE: Small Integer Plus Exponent Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Arith 21, Austin, Texas, USA, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Rounding Floating point Paul Zimmermann Double-precision floating-point format Significant figures Signed zero Exponentiation Q Precision
15	Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Extended precision Floating point Double-precision floating-point format Interval arithmetic Exponentiation
16	Floating-Point Precision Tuning Using Blame Analysis ∗ ∗ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 , Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2016-03-05 23:37:15 Computer arithmetic Floating point Extended precision IEEE floating point Parallel computing Double-precision floating-point format Lookup table
17	AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions Add to Reading List Source URL: ampl.com Language: English - Date: 2014-03-26 17:34:56 Computer arithmetic Floating point IEEE floating point Double-precision floating-point format Division algorithm Rounding Q Precision Arithmetic underflow Decimal Hexadecimal Unit in the last place
18	Hardest-to-Round Cases Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Exponentials GNU MPFR Double-precision floating-point format DWIM Exponential function Exponentiation
19	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-06-28 09:41:10 Computer arithmetic Arithmetic Mathematics Computing Rounding IEEE floating point GNU MPFR Arbitrary-precision arithmetic Division algorithm Unit in the last place Pi Double-precision floating-point format
20	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Computer arithmetic Computing Computer architecture IEEE floating point Double-precision floating-point format Long double Extended precision C99 Single-precision floating-point format SSE2 Strictfp Normal number